301. Computer aided systems theory--EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers
Author: Roberto Moreno Diaz, Franz Pichler )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
2809
302. [Computer aided systems theory] [revised selected papers]
Author: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
303. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
304. Computer mathematics :
Author: editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
9
.
M35
A83
2001eb
305. Computer science :
Author: J. Glenn Brookshear, David T. Smith, and Dennis Brylow.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA76
.
B743
2012
306. Conceptual modeling :
Author: Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
Classification :
QA76
.
9
.
D26
307. Concise guide to software engineering :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Software engineering.
Classification :
QA76
.
758
.
O66
2017
308. Concise guide to software engineering :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Software engineering.
Classification :
QA76
.
758
309. Conditional Monte Carlo
Author: by Michael Fu, Jian-Qiang Hu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Distribution (Probability theory).,Mathematical optimization.,Systems theory.
310. Constellation Shaping, Nonlinear Precoding, and Trellis Coding for Voiceband Telephone Channel Modems
Author: by Steven A. Tretter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering.,Systems engineering.
311. Constructive Computation in Stochastic Models with Applications
Author: / Lin Li-Quan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, INDUSTRIAL& METHODS|AUTOMATION &COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
312. Constructive Methods in Computing Science :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA75
.
5
E358
1989
313. Constructive Nonsmooth Analysis and Related Topic
Author: / electronic resource
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Differentiable dynamical systems,Algorithms,Computer science,Mathematical optimization,Mathematics,Optimization,Algorithms,Dynamical Systems and Ergodic Theory,Computational Science and Engineering
Classification :
E-BOOK
314. Constructive computation in stochastic models with applications :
Author: Quan-Lin Li.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Stochastic models.,Stochastic processes.,SCIENCE-- System Theory.,Stochastic models.,Stochastic processes.
Classification :
QA274
.
L5
2010
315. Contemporary Trends in Systems Development
Author: edited by Maung K. Sein, Bjorn Erik Munkvold, Tore U. Orvik, Wita Wojtkowski, W. Gregory Wojtkowski, Jože Zupančič, Stanislaw Wrycza.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Software engineering.
Classification :
QA76
.
9
.
S88
E358
2001
316. Contemporary knowledge engineering and cognition : first joint Workshop, Kaiserslautern, Germany, February 21-22, 1992: proceedings
Author: F. Schmalhofer, G. Strube, Th. Wetter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Expert systems )Computer science(,Congresses ، Knowledge representation )Information theory(
Classification :
QA
76
.
L28
Vol
.
622
317. Contemporary knowledge engineering and cognition : first joint workshop, Kaiserslautern, Germany, February 21-22, 1991, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Expert systems )Computer science(--Congresses,، Knowledge representation )Information theory(--Congresses
Classification :
QA
76
.
76
.
E95
.
C667
1992
318. Context, Causality, and Information Flow:
Author: Benthall, Sebastian P
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
319. Continuous Time Dynamical Systems: State Estimation and Optimal Control with Orthogonal Functions
Author: / Mohan, B.M.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL & METHODS|AUTOMATION &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
320. Continuous and Distributed Systems II
Author: / Viktor A. Sadovnichiy, Mikhail Z. Zgurovsky
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS|ENGINEERING, CIVIL|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
